Type systems

Results: 2329



#Item
561Software engineering / Computer programming / Constraint programming / Type systems / Type theory / List comprehension / Annotation / Computing

Converting MiniZinc to FlatZinc Version 1.3 Nicholas Nethercote 1

Add to Reading List

Source URL: www.minizinc.org

Language: English - Date: 2011-02-10 23:26:00
562Lockheed Martin C-130J Super Hercules / Rolls-Royce AE / Type certificate / Turboprop / Supplemental Type Certificate / Aircraft engine / Lockheed C-130 Hercules / Aircraft maintenance / Aviation / Aerial firefighting / Air refueling

B, Piedmont Propulsion Systems, LLC

Add to Reading List

Source URL: gao.gov

Language: English - Date: 2015-04-13 13:49:29
563Digital typography / Adobe Systems / Adobe Originals / OpenType / Typeface / Akzidenz-Grotesk / Font / Adobe Type / Typography / Graphic design / Typesetting

PDF Document

Add to Reading List

Source URL: www.adobe.com

Language: English - Date: 2006-06-14 14:34:53
564Credit card / Business / Payment / Check-in / Bank / Seoul / Terminology / Economics / Payment systems

Hotel Reservation Form Please refer to the website for details. For off-line reservation, type clearly in block letters and send this form to below.

Add to Reading List

Source URL: www2014.wwwconference.org

Language: English - Date: 2014-11-16 18:19:20
565Data / Java Database Connectivity / Databases / SQL / Datasource / JDBC driver / Attribute / Cursor / Document Type Definition / Computing / Database management systems / Java platform

Repository File by Thomas Mahler, Daren Drummond, Brian McCallister, Armin Waibel, Thomas Dudziak, Martin Kalén Table of contents 1

Add to Reading List

Source URL: db.apache.org

Language: English - Date: 2012-12-17 16:22:45
566Finance / Business / Money / Direct debit / Cheque / Visa Inc. / MasterCard / Payment systems / Banking / Credit cards

MEMBERSHIP APPLICATION FORM I/We wish to become a member of the BLUEBELL RAILWAY PRESERVATION SOCIETY (BRPS), being in broad agreement with its aims and principles, and agree to abide by its rules. Type of membership re

Add to Reading List

Source URL: www.bluebell-railway.co.uk

Language: English - Date: 2012-12-31 11:35:05
567Computer graphics / Graphics file formats / Digital press / Vector graphics / Computer printing / PostScript / Portable Document Format / Prinergy / Adobe Acrobat / Computing / Software / Adobe Systems

Technical specification • Type of print Heatset Offset • Number of colours 4 • Raster 200 lpi • Resolution: 2540 dpi • Drop on each side 5 mm

Add to Reading List

Source URL: www.marquard.pl

Language: English - Date: 2014-07-08 04:34:48
568PHP programming language / WordPress / Blog hosting services / Web fiction / Movable Type / E-book / Spam in blogs / Plug-in / Software / Blog software / Content management systems

Title: WordPress: the missing manual Author: MacDonald, Matthew Company: (url) O’Reilly Media Inc., www.oreillycom Price: $29.99 Pages: 545p (paperbooke-book)

Add to Reading List

Source URL: www.macbus.org

Language: English - Date: 2013-10-29 23:12:04
569Financial services / Credit cards / Debit cards / Email / BACS / Maestro / Cheque / Invoice / Visa Inc. / Business / Payment systems / Economics

32 ROSE STREET LONDON WC2E 9ET TE. W. www.abo.org.uk Application Form MEMBERSHIP CATEGORY: Please circle type of membership required. FULL

Add to Reading List

Source URL: www.abo.org.uk

Language: English - Date: 2015-05-06 06:57:31
570Electronic engineering / Liquid crystal display / United States Military Standard / Rugged computer / Telecommunications engineering / MIL-STD-810 / Joint Electronics Type Designation System / United States

DURABOOK-R8300-RUGGED-LAPTOPRev1

Add to Reading List

Source URL: www.rugged-systems.com

Language: English - Date: 2014-10-14 11:11:32
UPDATE